Logical Reasoning For Gic